Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
نویسندگان
چکیده
منابع مشابه
The scientific research programmes of Lakatos and applications in parasitology.
The methodology of scientific research programme (MSRP) proposed by Lakatos was in the line of the proposals made by Popper. MSRP were intended for constructing and evaluating research programme, which is unique among philosophers of science. Surprisingly, scientists dedicated to research in mathematics, physic or biology have not used much MRSP. This could be due to the fact that scientists ar...
متن کاملA comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform
The new generation of embedded systems for automotive applications can take advantage of low-cost multiprocessor system-on a chip architectures. The real-time software applications running on these systems require realtime processor scheduling, and also require the management of the communication and synchronization of tasks executing on different processors with limited blocking time. Conventi...
متن کاملTransformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach
The Ravenscar Profile is a subset of Ada95 tasking model which removes the Ada’s unsafe real-time characteristics and allows high-integrity of system. By the Ravenscar Profile, Ada95 can meet the determinism on system behavior. It also allows schedulability analysis and formal verification on the concurrent model of system. But the formal verification may be additional hard works to improve val...
متن کاملA Formal Model of a Run-Time Kernel for Ravenscar
The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems in Ada. Ravenscar defines a tasking run-time system with deterministic behaviour and low complexity. We provide a formal model of the primitives provided by Ravenscar including exceptions. This formal model can be used to verify safety properties of applications targeting a Raven...
متن کاملGnat/ork: an Open Cross-development Environment for Embedded Ravenscar–ada Software
Ada tasking is a powerful abstraction mechanism for developing concurrent embedded systems. However, many implementations of concurrent tasking have been seen as potentially unsafe for critical systems because of their high degree of indeterminism. The Ravenscar profile is a subset of Ada 95 tasking with purpose of providing a basis for the implementation of certifiable critical systems. ORK is...
متن کامل